1. ff = ff \\[0ex]$\vdash$ $\uparrow$($\neg_{b}$ff)